Generating Parallel Applications from Models Based on Petri Nets
نویسندگان
چکیده
منابع مشابه
Performance Models Based on Petri Nets
Petri Nets (PNs) is a well suited formalism to model and analyze parallel and distributed discrete event dynamic systems. Provided with adequate timed interpretation, PNs allow to build performance models in which true concurrence can be described together with synchronization and sharing phenomena. This survey paper gives a fast overview of some major topics related to net performance models, ...
متن کاملCsp Generation from Petri-nets Models
The use of traditional production planning techniques is constrained by large numbers of decision variables, uncertainty in demand and time production, and non-deterministic system behaviour, characteristics intrinsic in manufacturing. The aim of this paper is to present a methodology that combines the modelling power of petri-nets (PN) to represent both manufacturing architecture and productio...
متن کاملDependability Models Based on Petri Nets and Markov Chains
This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.
متن کاملFunctorial Models for Petri Nets
We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy is not completely satisfactory, because it lacks universality and also functoriality. We introduce the notion of pre-net to recover these aspe...
متن کاملGenerating Enterprise Applications from Models
For developing large and complex applications, industrial practice uses a combination of non-formal notations and methods. Different notations are used to specify the properties of different aspects of an application and these specifications are transformed into their corresponding implementations through the steps of a development process. The development process relies heavily on manual verif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Electrical and Electronic Engineering
سال: 2012
ISSN: 1804-3119,1336-1376
DOI: 10.15598/aeee.v10i1.563